|
|
OOPN Editor
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with Petri nets and their modeling. First of all, the thesis describes the formalism of the Petri network. It will also focus on object orientation of networks. In the second row, the thesis is specialized on the created application and it is a graphical editor of object-oriented Petri nets. Part of the thesis is the process of designing and implementing the already mentioned application. The application is created using programming language Java and is compatible only with operating system Windows. NetBeans IDE 8.0.2 development environment was used to create the application. The result of the whole bachelor thesis is an application for creation of models of object-oriented networks and their simulation with the attached server. Several examples of these models and their results are part of this thesis. These examples serve as an application manual.
|
|
|
Sequence Diagram Generation from Object-Oriented Petri Nets
Bláha, Jiří ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The goal of this bachelor's thesis is to design and create an application that graphically represents the communication between objects during a simulation of object oriented Petri nets (OOPN) as sequence diagrams. Input to the application is the definition of OOPN classes written in PNtalk. A simulation server, implemented in SmallTalk, is used for OOPN model simulation. This thesis describes server commanding and corresponding data retrieving as well as its transformation to a form suitable for sequence diagram generation and drawing. The implemented solution allows users to save the final sequence diagram as a PNG, SVG or XML file for further result sharing and processing. The application simplifies working with the simulation server, which otherwise doesn't incorporate any form of human-readable output and, therefore, it allows users to quickly and easily determine the order of events inside the simulated model.
|
|
|
OOPN Editor
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with Petri nets and their modeling. First of all, the thesis describes the formalism of the Petri network. It will also focus on object orientation of networks. In the second row, the thesis is specialized on the created application and it is a graphical editor of object-oriented Petri nets. Part of the thesis is the process of designing and implementing the already mentioned application. The application is created using programming language Java and is compatible only with operating system Windows. NetBeans IDE 8.0.2 development environment was used to create the application. The result of the whole bachelor thesis is an application for creation of models of object-oriented networks and their simulation with the attached server. Several examples of these models and their results are part of this thesis. These examples serve as an application manual.
|
guest ::
